homotopy boundary operation

同伦边缘运算